Two examples of parallel programming without concurrency constructs (PP-CC)

A Survey of Parallel Programming Constructs

PP: Visual Programming System for Parallel Logic Programming Language GHC

Though parallel logic languages have lots of good features, the readability of those languages are not good enough. Therefore, we have developed visual programming system PP for parallel logic language GHC. Each de nition clause of GHC program is expressed as a gure along with its textual representation. The system graphically assists the program input and its execution. The system has actually...

A Verified Integration of Parallel Programming Paradigms in CC++

CC++ is an object-oriented parallel programming language that uses parallel composition, atomic functions , and single-assignment variables to express con-currency. We show that this programming paradigm is equivalent to several traditional imperative communication and synchronization models, namely monitors and asynchronous channels. Furthermore, the object-oriented nature of CC++ provides an ...

Language Constructs for Safe Parallel Programming on Multi-Cores

ešects and checking are implemented in the compiler. emore speculative gradual ešect checking remains to be implemented. We have also not yet completely formalized or proven the soundness of the gradual ešect system. 5.5 Unlocking Ešects Using ešects for data race-free parallelism is conceptually very similar to using locks. Annotating a method with an ešect clause ešectively locks the data des...

Programming Language Array Constructs For Parallel Relative Debugging

Relative debugging is a technique which addresses the problem of debugging programs developed using evolutionary software techniques. Recent developments allow relative debugging to be used on programs that have been ported from serial to parallel architectures. Such programs may change significantly in the porting process, and this raises many issues for the debugging process. This paper exami...